(Tags): Delete redundant index entry.
authorRichard M. Stallman <rms@gnu.org>
Sat, 26 Jan 2008 23:57:13 +0000 (23:57 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 26 Jan 2008 23:57:13 +0000 (23:57 +0000)
commit202c7211735b929a3b7862c0f4a3075246552334
treec323e0bf174f58042d43a9773ef9ad869474f0c5
parent1e85c8c39df0d84d8091bee71ac3add6b44e6792
(Tags): Delete redundant index entry.
man/maintaining.texi